Automatic programming - PDFSEARCH.IO - Document Search Engine

Automatic programming
Results: 566

#	Item
21	Automatic Proof and Disproof in Isabelle/HOL Jasmin Christian Blanchette, Lukas Bulwahn, and Tobias Nipkow Fakult¨at f¨ur Informatik, Technische Universit¨at M¨unchen Abstract. Isabelle/HOL is a popular interactive t Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-05-21 06:02:19 Theoretical computer science Software engineering Programming language theory Logic in computer science Proof assistants Formal methods Automated theorem proving Isabelle Satisfiability modulo theories ACL2 Curry Logic for Computable Functions
22	Automatic Compilation of Domain Specific Languages to OpenCL using PENCIL U. Beaugnon A. Kravets Add to Reading List Source URL: carp.doc.ic.ac.uk Language: English - Date: 2014-01-20 09:48:39 Software engineering Computing Computer programming Cross-platform software Parallel computing Application programming interfaces GPGPU High-level programming languages OpenCL Domain-specific language D
23	Using CellProfiler for Automatic Identification and Measurement of Biological Objects in Images UNIT 14.17 Add to Reading List Source URL: d1zymp9ayga15t.cloudfront.net Language: English - Date: 2016-01-25 15:28:57 Microscopy Cell biology CellProfiler Biology Software Computer programming Laboratory techniques
24	Automatic selection of table areas in documents for information extraction Ana Costa e Silva1, Alípio Jorge2, Luís Torgo2 1 2 Add to Reading List Source URL: www.dcc.fc.up.pt Language: English - Date: 2012-12-13 10:18:40 Computing Data management Arrays Computer programming Algorithm Mathematical logic Theoretical computer science Join Lookup table HTML element Periodic table Hash table
25	Future Generation Computer Systems–552 Parallelization of plasma simulation codes: gridless finite size particle versus particle in cell approach S. Briguglio a,∗ , G. Vlad a , B. Di Martino b , G. Fog Add to Reading List Source URL: www.afs.enea.it Language: English - Date: 2008-10-20 10:11:10 Parallel computing Computational fluid dynamics Computer programming Computing Computational science Computational physics Particle-in-cell Scientific modeling Automatic parallelization High Performance Fortran Data parallelism Particle
26	Higher-Order Derivatives in Engineering Applications Add to Reading List Source URL: www.autodiff.org Language: English - Date: 2008-08-29 02:28:59 Mathematical optimization Mathematical analysis Analysis Mathematics Trajectory optimization Nonlinear programming KarushKuhnTucker conditions Automatic differentiation Lagrange multiplier BroydenFletcherGoldfarbShanno algorithm Hessian matrix Linear programming
27	PRACTICAL EXPERIENCE WITH A MAP LABEL PLACEMENT PROGRAM Steven Zoraster Stephen Bayer ZYCOR, Inc. 220 Foremost Austin, Texas 78745 Add to Reading List Source URL: mapcontext.com Language: English - Date: 2008-08-30 00:28:38 Mathematical optimization Operations research Mathematics Numerical analysis Combinatorial optimization Linear programming Convex optimization Automatic label placement Algorithm Integer programming Relaxation AMPL
28	Structuring the execution of OpenMP applications for multicore architectures Fran¸cois Broquedis, Olivier Aumage, Brice Goglin, Samuel Thibault, Pierre-Andr´e Wacrenier, Raymond Namyst To cite this version: Add to Reading List Source URL: hal.inria.fr Language: English - Date: 2016-06-15 17:47:10 Computing Parallel computing Computer programming OpenMP Thread Scheduling Work stealing Multithreading Cache memory Multi-core processor Cilk Automatic parallelization
29	MyDealerLot Logo - Reg_norings Add to Reading List Source URL: mydealerlot.com Language: English - Date: 2015-07-13 03:34:24 Automatic identification and data capture Privacy Radio-frequency identification Ubiquitous computing Wireless Car dealership Software engineering MDL Computer programming Computing
30	Automatic analytical modeling for the estimation of cache misses Add to Reading List Source URL: www.des.udc.es Language: English - Date: 2014-12-23 06:06:05 Software engineering Computer programming Computing Compiler optimizations Cache Computer memory Compiler construction Optimizing compiler Programming language implementation CPU cache For loop Matrix

UPDATE